1. A science of operations
المؤلف: Mark Priestley.,Priestley, Mark
المکتبة: (طهران)
موضوع: Computer programming,Programming languages (Electronic computers),Microcomputers,Logic, Symbolic and mathematical.,History.,History.,History.
رده :
QA76
.
6
.
P73
2011
2. A science of operations
المؤلف: Mark Priestley
المکتبة: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع: Computer programming, History,Programming languages (Electronic computers), History,Microcomputers, History,Logic, Symbolic and mathematical
رده :
QA
،
76
.
6
،.
P737
،
2010
3. First-order dynamic logic
المؤلف: Harel, David
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical,، Recursion theory
رده :
QA
76
.
6
.
H34
1979
4. First-order dynamic logic
المؤلف: Harel, David
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Electronic digital computers - Programming,، Logic, Symbolic and mathematical,، Recursion theory
رده :
QA
76
.
L4
v
.
68
5. Introduction to logic programming
المؤلف: Hogger, Christorpher John
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Electronic digital computers - Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
H624
1984
6. Les mathematiques a la portee de l'ordinateur
المؤلف: / Pref de J. Kuntzmann
المکتبة: (طهران)
موضوع: Automatic theorem proving,Logic, Symbolic and mathematical,Programming languages (Electronic computers)
رده :
Q
335
.
A75
7. Logic and computer science
المؤلف: / S. Homer... [et al.]
المکتبة: کتابخانه مرکزی و مرکز اسناد دانشگاه تهران (طهران)
موضوع: Logic, Symbolic and mathematical -- Congresses,Programming language (Electronic Computers)--Syntax,Computational complextiy -- Congresses
رده :
QA
9
.
A1L6
1990
8. Logic of Domains
المؤلف: Guo-Qiang Zhang
المکتبة: (طهران)
موضوع: ، Programming languages )Electronic computers( -- Semantics,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
Z47
1991
9. Logic of domains
المؤلف: Zhang, Guo-Qiang
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Programming languages )Electronic computers(-- Semantics,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
Z47
1991
10. Logics of specification languages
المؤلف: Dines Bjrner, Martin C. Henson, editors
المکتبة: (سمنان)
موضوع: Semantics ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
L65
2008
11. Logics of specification languages
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Semantics ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
L65
2008
12. Logics of specification languages
المؤلف: Dines Bjrner, Martin C. Henson, editors
المکتبة: (طهران)
موضوع: ، Programming languages )Electronic computers( -- Semantics,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
L63
13. Mathematical logic and programming language
المؤلف: Hoare, C. A. R.
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M3646
1985
14. Mathematical logic and programming languages
المؤلف: / edited by C.A.R. Hoare and J.C. Shepherdson
المکتبة: (طهران)
موضوع: Programming languages (Electronic computers),Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M3646
1985
15. Mathematical logic and programming languages
المؤلف: / Edited by C. A. R. Hoare, J. C. Shepherdson
المکتبة: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع: Programming languages (Electronic computers),Logic, symbolic and mathematical
رده :
QA76
.
6
.
M3646
1985
16. Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
T4414
1994
17. Temporal logic : mathematical foundations and computational aspects
المؤلف: Gabbay, Dov M.
المکتبة: (طهران)
موضوع: Electronic digital computers - Programming , Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
G27
1994
18. Temporal logic of programs
المؤلف: / Fred Kroger
المکتبة: (طهران)
موضوع: Electronic digital computers -- Programming,Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
K753
1987
19. Temporal logic of programs
المؤلف: Kroger, Fred
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
K753
1987
20. Temporal logic of programs
المؤلف: Kroger, Fred
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Electronic digital computers - Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
K753
1987
